higher-order predicate logic
[数] 高阶谓词逻辑
热门查询
- glade n. 林间空地；沼泽地 n. (Glade)人名；(法、德)格拉德；(英)格莱德
- ANNABELLE [人名] 安娜贝勒
- hewn adj. 粗削的 vt. 砍（hew的过去分词）
- cowardice n. 怯懦；胆小
- taping n. 磁带录音 v. 用磁带录音（tape的ing形式）
- silurian a. 〈地〉志留纪的
- potting n. 盆栽；陶器制造；嵌铸 v. 把…放在罐里；对…作摘要；射击（pot的ing形式）
- Pickett [人名] [英格兰人姓氏] 皮克特 Piggott的变体; [地名] [美国] 皮克特
- primer n. 初级读本；识字课本；原始物
- food stamp n. （政府发给贫民的）食物券 [网络] 粮食券；食品券；粮票
- interstate n. （美）州际公路 adj. 州际的；州与州之间的
- decisional adj. 决策性；决定性
- comforting v. 安慰（comfort的ing形式） adj. 安慰的；令人欣慰的
- quine [人名] 奎因
- acme n. 顶点，极点；最高点
- enlighten vt. 启发，启蒙；教导，开导；照耀
- timidity n. 胆怯，胆小；羞怯
- vitriol n. 硫酸，[无化] 硫酸盐；尖刻的话 vt. 用硫酸处理；用尖刻的话伤害
- sop n. 面包片；湿透的东西；懦夫；小贿赂 vt. 吸水；浸湿；贿赂 vi. 湿透；渗透 n. (Sop)人名；(老、柬)索
- spar n. [矿物] 晶石；圆材（如桅、桁等）；争论；拳斗 n. (Spar)人名；(德)施帕尔；(法)斯帕尔 vt. 装圆材于 vi. 争论；拳击
